Transaction data

Results: 2186



#Item
651Computing / Data / Databases / Lock / Non-blocking algorithm / Deadlock / Two-phase locking / Software transactional memory / Linearizability / Concurrency control / Transaction processing / Data management

Autolocker: Synchronization Inference for Atomic Sections ∗ Bill McCloskey Feng Zhou UC Berkeley

Add to Reading List

Source URL: www.barnowl.org

Language: English - Date: 2006-05-18 13:42:17
652Consistency model / Sequential consistency / Parallel computing / Transaction processing / Concurrency control / Linearizability

Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 9 Time Bounds for Strong and Hybrid Consistency for Arbitrary Abstract Data Types

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 1999-10-13 17:18:06
653Data management / Software engineering / Software transactional memory / Transactional memory / Linearizability / Linked list / Lock / Typedef / Stack / Concurrency control / Computing / Transaction processing

/cygdrive/c/tharris/tocs/2004-tocs-cpwl/figs/structure-5.fig

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2007-06-01 10:29:30
654Sheaf / Mathematics / Computing / Concurrency control / Linearizability / Transaction processing

Verifying Atomicity via Data Independence Ohad Shacham Eran Yahav Guy Golan-Gueta

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2014-07-08 18:07:14
655Object-oriented programming / Computer languages / Query languages / Databases / Object database / SQL / Java Database Connectivity / Object Data Management Group / Persist / Computing / Data management / Database management systems

Object Transaction Manager Tutorial by Brian McCallister Table of contents 1

Add to Reading List

Source URL: db.apache.org

Language: English - Date: 2012-12-17 16:22:45
656Concurrent computing / Failure / Software testing / Transaction processing / Two-phase commit protocol / Recovery testing / Replication / Reliability engineering / Google File System / Computing / Data management / Fault-tolerant computer systems

FATE and D ESTINI: A Framework for Cloud Recovery Testing Haryadi S. Gunawi, Thanh Do† , Pallavi Joshi, Peter Alvaro, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau† , Remzi H. Arpaci-Dusseau† , Koushik Sen, and D

Add to Reading List

Source URL: db.cs.berkeley.edu

Language: English - Date: 2011-03-09 01:12:38
657Data recovery / Computer data / Data management / Transaction processing / Disk partitioning / Disk formatting / File system / FileSalvage / Acronis True Image / Computing / System software / Software

31007: Recover lost data using "RAW recovery". Symptoms: When the file system of a partition/disk has been badly damaged (take the partition/disk became RAW and prompted you to format it for example), you probably cannot

Add to Reading List

Source URL: www.easeus.com

Language: English - Date: 2015-02-16 02:04:17
658Computing / Concurrency control / Databases / Serializability / Parallel computing / Schedule / Linearizability / Correctness / Control flow / Transaction processing / Data management / Data

NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness Jacob Burnim Tayfun Elmas George Necula

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2013-05-12 14:32:05
659Data / Computing / Binary trees / Databases / Schedule / Lock / Linearizability / Serializability / Skew heap / Transaction processing / Data management / Concurrency control

Automatic Fine-Grain Locking using Shape Properties Guy Golan-Gueta Nathan Bronson Alex Aiken

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2011-08-21 21:41:00
660Business intelligence / Data modeling / Technology development / Transaction processing / Analytics / Big data / Wind turbine / Technology / Formal sciences / Data management

Industry Case Study The Benefits of IoT Analytics for Renewable Energy: ParStream helps Envision Energy improve wind turbine productivity by 15% The company’s network of 20,000 wind turbines is

Add to Reading List

Source URL: iotworldevent.com

Language: English - Date: 2015-03-06 17:53:51
UPDATE